Identifying Objective True/False from Subjective Yes/No Semantic based on OWA and CWA
نویسندگان
چکیده
Distinguishing objective(OBJ) semantic from subjective(SUBJ) semantic is essential to information processing of either explicit design formalization or implicit natural language(NL) communication of projects’ implementation. We summarized our past experience of solutions for semantic knowledge management projects. An adopted hypothesis is that among the tremendous and rapid increasing information, there is a relative stable core which can map/relate to every specific piece of information uniformly starting from the discussion on existence and conceptualization. The mapping will result in an expansion formalization based on open world assumption (OWA) and closed world assumption (CWA). This formalization can be widely applied for guiding semantic formalization and validation. We show initial applications on transformations from SUBJ to OBJ, etc.
منابع مشابه
Towards Automated Integrity Constraints Modelling and Validation: A Survey and Approach
Semantic web techniques based on ontologies are a possible means for modelling and validating complex, safety-critical products like airplanes or automobiles. For validation purposes, checks based on the Open World Assumption (OWA) as well as checks based on the Closed World Assumption (CWA) are both valuable. Based on a survey of existing semantic-based approaches, we present a novel approach ...
متن کاملA Paraconsistent Relational Data Model
IntroductIon Typically, relational databases operate under the Closed World Assumption (CWA) of Reiter (Reiter, 1987). The CWA is a metarule that says that given a knowledge base KB and a sentence P, if P is not a logical consequence of KB, assume ~P (the negation of P). Thus, we explicitly represent only positive facts in a knowledge base. A negative fact is implicit if its positive counterpar...
متن کاملAny-world assumptions in logic programming
Due to the usual incompleteness of information representation, any approach to assign a semantics to logic programs has to rely on a default assumption on the missing information. The stable model semantics, that has become the dominating approach to give semantics to logic programs, relies on the Closed World Assumption (CWA), which asserts that by default the truth of an atom is false. There ...
متن کاملMethodology for an Ontology-Driven Product Configuration Process
One of the main challenges of collaborative engineering and configuration processes is to organize and consolidate the involved engineering knowledge, which is inherently distributed and multidisciplinary. In order to support and automate the corresponding tasks for complex systemsof-systems, Airbus Group leverages ontologies and semantic web technologies. The first contribution of the paper is...
متن کاملA Bag-based Data Model with Global Conditions for Incomplete Information
A Bag-based Data Model with Global Conditions for Incomplete Information Akinari YAMAGUCHI†, Shougo SHIMIZU††, Yasunori ISHIHARA†, and Toru FUJIWARA† † Graduate School of Information Science and Technology, Osaka University 1–5 Yamadaoka, Suita, Osaka, 565–0871 Japan †† Department of Computer and Media Technologies, Hiroshima City University 3–4–1 Ozuka-higashi, Asaminami-ku, Hiroshima, 731–319...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JCP
دوره 8 شماره
صفحات -
تاریخ انتشار 2013